program verification

См. также в других словарях:

• Program analysis — For other uses, see Program analysis (disambiguation). In computer science, program analysis is the process of automatically analysing the behavior of computer programs. Two main approaches in program analysis are static program analysis and… …   Wikipedia

• Program analysis (computer science) — Computer program analysis is the process of automatically analysing the behavior of computerprograms.Two main approaches in program analysis are static program analysisand dynamic program analysis.Main applications of program analysis are program …   Wikipedia

• Verification and Validation — Verification Validation is the process of checking that a product, service, or system meets specifications and that it fulfils its intended purpose. These are critical components of a quality management system such as ISO… …   Wikipedia

• Program Management Professional — (PgMP) is a certification in program management managed by the Project Management Institute in accordance with their published standard A Standard for Program Management . Eligibility Applicants with a bachelor s degree must have had four… …   Wikipedia

• Verification and validation — IV V redirects here. For NASA s IV V Facility, see Independent Verification and Validation Facility. Verification and validation is the process of checking that a product, service, or system meets specifications and that it fulfills its intended… …   Wikipedia

• Program derivation — In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non executable, and then apply mathematically correct …   Wikipedia

• verification program — tikrinimo programa statusas T sritis automatika atitikmenys: angl. verification program; verifier vok. Prüfer, m; Verifizierer, m rus. программа контроля, f; программа проверки, f pranc. programme de vérification, m; programme vérificateur, m …   Automatikos terminų žodynas

• Program refinement — Data transformation/Source transformation Concepts metadata · data mapping data transformation · model transf …   Wikipedia

• Program for the Endorsement of Forest Certification — Programme de Reconnaissance des Certifications Forestières Logo du PEFC. Le Programme de Reconnaissance des Certifications Forestières ou PEFC (« Pan European Forest Certification » devenu « Programme for the Endorsement of Forest… …   Wikipédia en Français

• Functional verification — Functional verification, in electronic design automation, is the task of verifying that the logic design conforms to specification. In everyday terms, functional verification attempts to answer the question Does this proposed design do what is… …   Wikipedia

• Environmental Technology Verification Program — The Environmental Technology Verification (ETV) Program of the Environmental Protection Agency (EPA) in the United States develops testing protocols and verifies the performance of innovative environmental technologies that can address problems… …   Wikipedia